f(x)(z) == x